#include <stdio.h>
int main()
{
	extern int a;
	printf("%d", a);


	return 0;

}